Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

DGPSL：A DISTRIBUTED GRAPHICS LIBRARY

ＤＧＰＳＬ：ＡＤＩＳＴＲＩＢＵＴＥＤＧＲＡＰＨＩＣＳＬＩＢＲＡＲＹＳｈｉＪｉａｏｙｉｎｇ；ＰａｎＺｈｉｇｅｎｇ；ＺｈｅｎｇＷｅｎｔｉｎｇＤＧＰＳＬ：ＡＤＩＳＴＲＩＢＵＴＥＤＧＲＡＰＨＩＣＳＬＩＢＲＡＲＹ￥ＳｈｉＪｉａｏｙｉｎｇ；ＰａｎＺｈｉｇｅｎｇ；...     

程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

SnO2超微粒子薄膜的气敏特性研究

作者用自行设计的直流气体放电活化反应蒸发装置制备出平均粒径约为40nm的SnO_2超微粒子薄膜.研究了不同氧分压下所得SnO_2超微粒膜的形貌、结构和组成等特性,以及不同样品对各种易燃气体的气敏特性,得出了灵敏度随氧分压及灵敏度随工作温度的变化曲线.     

Influence of interfacial microcracks on the elastic properties of composites

A model is established to quantify the influence of interfacial microcracks on the elastic properties of a particulate composite using a combination of theoretical and finite element analysis. A unique way to construct physical models which could accommodate both crack size and crack density is proposed. Based on energy principles, the influence of a dilute concentration of interfacial microcracks is first studied. The case of a finite concentration of microcracks is solved subsequently by combining the dilute concentration solutions and the differential scheme. Both cases agreed well with existing composite theories for the limiting condition of complete decohesion. The final model predicts the effective elastic properties as functions of both crack size and microcrack density.     

A novel cyclic process using CaSO<Subscript>4</Subscript>/CaS pellets for converting sulfur dioxide to elemental sulfur without generating secondary pollutants: Part I. Feasibility and kinetics of the reduction of sulfur dioxide with calcium-sulfide pellets

Certain new sulfide-smelting processes and coal-gasification processes generate high-strength sulfur dioxide streams, for which a new process for converting sulfur dioxide to elemental sulfur needs to be developed because no process exists that is generally and economically applicable to the treatment of such streams. A thermodynamic and experimental investigation to develop a new process for converting sulfur dioxide to elemental sulfur by a cyclic process involving calcium sulfide and calcium sulfate without generating secondary pollutants was carried out. In this process, the starting raw material, calcium sulfate, is reduced by a suitable reducing agent, such as hydrogen, to produce calcium sulfide, which is used to reduce sulfur dioxide to elemental sulfur vapor and calcium sulfate. The latter is, in turn, reduced to regenerate calcium sulfide. In this Part I, detailed experimental results are presented on the kinetics of the reaction between sulfur dioxide and calcium-sulfide pellets, which produces elemental sulfur and calcium sulfate. The experiments were carried out at temperatures between 1023 and 1088 K and sulfur-dioxide partial pressures between 9 and 60 kPa by the use of a thermogravimetric analysis (TGA) technique. The rate of this reaction was demonstrated by the conversion of 40 pct calcium-sulfide pellets obtained from the hydrogen reduction of fresh calcium sulfate in 10 minutes at 1073 K under a sulfur-dioxide partial pressure of 43 kPa. The reactivity decreased somewhat during the first three cycles but remained largely unchanged thereafter up to the tenth cycle. This characteristic of the pellets is important because the solids must be reusable for repeated cycles to avoid generating secondary pollutants. A pore-blocking model was found to fit the reaction rate. The reaction is first order with respect to sulfur-dioxide partial pressure and has an activation energy of 101 to 134 kJ/mol (24 to 32 kcal/mol) for calcium-sulfide pellets reacted and regenerated several different times. Sulfur dioxide-containing streams from certain sources, such as the regenerator off-gas from an integrated-gasification, combined-cycle, desulfurization unit and new sulfide-smelting plants, contain much higher partial pressures of SO₂. In these cases, the rate of the first reaction is expected to be proportionally higher than in the test conditions reported in this article. The reduction kinetics of calcium-sulfate pellets with hydrogen gas is reported in the accompanying Part II.     

L-肉碱的酶法生产

要L-肉碱是与动物体内脂肪酸代谢有关的化合物,主要功能是作为载体将长链脂肪酸从线粒体膜外输送到膜内促进脂肪酸的β-氧化,将脂肪代谢转变为能量。L-肉碱广泛用于医药、保健食品及饲料等行业。江苏省微生物研究所在成功解决了高转化率微生物酶的选育、肉碱与巴豆甜菜碱的分离技术和巴豆甜菜碱的回收问题后,开发了L-肉碱的微生物酶法生产技术,并与常茂生物化学工程有限公司合作进行了日产1kg规模的中试,用300L发酵罐发酵产酶,150L酶反应器进行酶转化,L-肉碱的发酵水平达15g/L以上,用401L有机玻璃层析柱系统提取精制,提取收率达70％以上,产品质量符合USP23版标准。     

Microbiological denitrification of red beet juice

The purpose of study was the determination of optimal conditions for red beet juice denitrification by Paracoccus denitrificans bacteria as well as the evaluation of the usefulness of microbiologically treated juice for the production of a natural colouring preparation for foods. Total reduction of nitrates was found during bacterial culturing at 25 and 30 °C, at an initial pH of 7.0-8.0 and juice osmotic pressure of 900-1100 mOsm/kg. Microbiological denitrification procedure affected colour, taste and aroma of the juice. However, the use of juice as food colouring and component was made feasible by acidification and partial evaporation of water together with volatile substances.